1

A complete proof of the Feigenbaum conjectures

Year:
1987
Language:
english
File:
PDF, 596 KB
english, 1987
4

Computer-Assisted Proofs in Analysis and Programming in Logic: A Case Study

Year:
1996
Language:
english
File:
PDF, 3.22 MB
english, 1996
10

On the vorticity of the Oseen problem in a half plane

Year:
2008
Language:
english
File:
PDF, 649 KB
english, 2008
15

On the renormalization group transformation for scalar hierarchical models

Year:
1991
Language:
english
File:
PDF, 1.50 MB
english, 1991
22

On the Structure of Stationary Solutions of the Navier-Stokes Equations

Year:
2003
Language:
english
File:
PDF, 145 KB
english, 2003
25

On the Structure of Stationary Solutions¶of the Navier--Stokes Equations

Year:
2002
Language:
english
File:
PDF, 156 KB
english, 2002
27

Simulation of multiply scattering media

Year:
1998
Language:
english
File:
PDF, 195 KB
english, 1998
43

Computer-Assisted Proofs in Analysis and Programming in Logic: A case Study

Year:
1996
Language:
english
File:
PDF, 4.05 MB
english, 1996